Version space

Results: 1722



#Item
431Mathematical analysis / Calculus / Models of computation / Lambda calculus / Metric space / Computable function / Function / Continuous function / Uniform continuity / Mathematics / Computability theory / Theory of computation

Algorithmic solution of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Version of June 10, 2011 Abstract

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2011-06-10 08:42:01
432Functions and mappings / Integral / Differential equation / Semicolon / Equation / Derivative / Function / Mathematica / Numerical analysis / Mathematics / Mathematical software / Science

Mathematica Dos and Don’ts: Algebra, Caculus, & Solving Equations Version 1.2: February 2, 2000 DON’T use a space to indicate multiplication; use an asterisk (*) instead. DON’T use a single equal sign (=) in enteri

Add to Reading List

Source URL: www.nhn.ou.edu

Language: English - Date: 2004-08-16 04:14:56
433Space / Star types / Dark matter / Binary star / Star / Cosmic distance ladder / Black hole / Initial mass function / Astronomy / Stellar astronomy / Physics

Draft version October 9, 2012 Preprint typeset using LATEX style emulateapj v[removed]S-STARS IN THE GALACTIC CENTER AND HYPERVELOCITY STARS IN THE GALACTIC HALO: TWO FACES OF THE TIDAL BREAKUP OF STELLAR BINARIES BY THE

Add to Reading List

Source URL: astro.berkeley.edu

Language: English - Date: 2012-11-04 13:11:19
434International Space Station / Space station / Shenzhou / Spacecraft / Soyuz / Russian Federal Space Agency / Space Shuttle / Chinese space station / International Space Station program / Spaceflight / Manned spacecraft / Chinese space program

Sent: Wednesday, November 28, 2012 4:11 PM 1. Re -- Proposal to invite China on board the International Space Station 2. This idea comes up from time to time, and this version is probably the most reasonable presentation

Add to Reading List

Source URL: www.jamesoberg.com

Language: English - Date: 2013-05-19 23:13:36
435Staff colleges / Navigation / Naval Postgraduate School / Assistant Secretary of the Navy / National Research Council / Space and Naval Warfare Systems Command / Global Positioning System / Technology / Military science / Monterey /  California

MonthlyNewsletter_Nov_09 (version 1).xlsx

Add to Reading List

Source URL: www.nps.edu

Language: English - Date: 2009-12-14 11:04:55
436Information / Science / Metadata / Data model / International Virtual Observatory Alliance / National Space Science Data Center / Geographic information system / Data / Data management / Knowledge representation / Technical communication

A Space and Solar Physics Data Model from the SPASE Consortium Version: 1.2.1 Release Date: [removed]

Add to Reading List

Source URL: www.spase-group.org

Language: English - Date: 2012-10-16 10:36:03
437Dual segmented Langmuir probe / China Securities Regulatory Commission / Proba-2 / PROBA / Solar Orbiter / International Space Station / Spaceflight / European Space Agency / Environmental science

Czech Space Research Centre CSRC in the European space business since 1994 Version 2015-B

Add to Reading List

Source URL: www.csrc.cz

Language: English - Date: 2015-03-31 13:01:56
438Atmospheric sciences / Remote sensing / Radiometry / Oceanography / Sea ice / Ghrsst-pp / Sea surface temperature / Sea ice concentration / Envisat / Spaceflight / Earth / European Space Agency

STARS-DAT v3 User Manual Version 3.1 December 2012 Steinar Eastwood, Yvonne Gusdal, Magnus Drivdal, Birgitte Furevik, Harald Schyberg and

Add to Reading List

Source URL: polarlow.met.no

Language: English - Date: 2013-06-10 04:51:08
439Tefillin / Group theory / Torus / Curve / Spiral / Vector space / Sheaf / Algebra / Mathematics / Geometry

Single column version r theta=1

Add to Reading List

Source URL: www.meru.org

Language: English - Date: 2014-02-16 12:06:12
440Technical communication / Data / Data model / Metadata / Resource fork / Geographic information system / Information / Data management / Knowledge representation

A Space and Solar Physics Data Model from the SPASE Consortium Version: 2.0.0 Release Date: [removed]Document Generated: 2009-Apr-29

Add to Reading List

Source URL: www.spase-group.org

Language: English - Date: 2012-10-16 10:36:03
UPDATE